generalized Hoare logic
廣義霍爾邏輯(電路)
熱門查詢
- muumuu n. 穆穆袍（夏威夷婦女寬大長袍）
- diverting v. 使轉移；使得到消遣（divert的現在分詞） adj. 有趣的；令人快樂的
- silversmith n. 銀器匠
- peo [醫][=phospho-enol-oxaloacetic acid]磷酸烯醇草酰乙酸
- Stockwell [人名] [英格蘭人姓氏] 斯托克韋爾住所名稱，來源于古英語，含義是“樹樁，木板橋+泉，溪流”(tree stump,plank bridge+spring,stream); [地名] [美國] 斯托克韋爾
- curly adj. 卷曲的；卷毛的；（木材）有皺狀紋理的；蜷縮的
- Sewell 休厄爾（人名） 蘇埃爾（地名）
- pounds n. 磅，英鎊；重擊（pound復數形式） v. 猛擊（pound的第三人稱單數） n. (Pounds)人名；(英)龐茲
- commissioner n. 理事；委員；行政長官；總裁
- outback n. 內地 adv. 在內地；往內地 adj. 內地的
- Kelman n. (Kelman)人名；(德、法、羅)克爾曼
- fibromyalgia n. 纖維肌痛；纖維組織肌痛
- reliability n. 可靠性
- exportation n. 出口
- hyped adj. 興奮的 v. 炒作（hype的過去分詞）
- EISA abbr. Extended Industry Standard Architecture 擴展工業標準結構
- evolutionarily 進化上
- reconstructive adj. 重建的；改造的
- corollary n. 推論；必然的結果
- cas abbr. 中國科學院（Chinese Academy of Sciences）；計算機技術學會（Computer Arts Society）；控制自動化系統（Control Automatic System） n. (Cas)人名；(法)卡斯
考試詞匯表
- lotus berthelotiis
- lotus nut iu syrup
- lotus picture file
- lotus rhizome knot
- lotus rhizome node
- lotusimagin trance
- loudness of murmur
- loudness reduction
- loudness sensation
- loudspeaker clutch
- loudspeaker outlet
- loudspeaker paging
- loudspeaker system
- louis le faineants
- louis the bruisers
- louisa may alcotts
- lounge suit jacket
- lourmel (el amria)
- louse borne typhus
- louse something up
